Square to Double-Angle Formulas